|
| notable_students = | known_for = | author_abbrev_bot = | author_abbrev_zoo = | influences = | influenced = | awards = | signature = | signature_alt = | website = | footnotes = | spouse = }} Philip Lee "Phil" Wadler (born April 8, 1956) is an American computer scientist known for his contributions to programming language design and type theory. In particular, he has contributed to the theory behind functional programming〔http://www.oreillynet.com/pub/au/2440 Philip Wadler: Biography at O'Reilly Media.〕 and the use of monads in functional programming, the design of the purely functional language Haskell, and the XQuery declarative query language. In 1984, he created the Orwell programming language. Wadler was involved in adding generic types to Java 5.0. He is also author of the paper "Theorems for free!" that gave rise to much research on functional language optimization (see also Parametricity). ==Education== Wadler received a Bachelor of Science degree in Mathematics from Stanford University in 1977, and a Master of Science degree in Computer Science from Carnegie Mellon University in 1979.〔(Philip Wadler vita ).〕 He completed his Doctor of Philosophy in Computer Science at Carnegie Mellon University in 1984. His thesis was entitled "''Listlessness is Better than Laziness''" and was supervised by Nico Habermann.〔 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Philip Wadler」の詳細全文を読む スポンサード リンク
|